| Module | LV Type | CP | LV | Dates | Examination |
|---|---|---|---|---|---|
| Algorithmic Foundations of Datascience | Fach-/Modulprüfung | 6 | 585082 | ||
| Übung | 579319 | Mi 12:30-14:00 AH I (2350|028) (×15) | |||
| Vorlesung | 579330 | Di 16:30-18:00 AH I (2350|028) (×15) Do 14:30-16:00 AH I (2350|028) (×15) | |||
| Algorithmic Game Theory | Fach-/Modulprüfung | 6 | 585094 | ||
| Algorithmic Learning Theory | Fach-/Modulprüfung | 6 | 582076 | ||
| Algorithmic Model Theory I | Fach-/Modulprüfung | 8 | 582183 | ||
| Analysis of Algorithms | Fach-/Modulprüfung | 8 | 582278 | ||
| Compiler Construction | Fach-/Modulprüfung | 6 | 582126 | ||
| Concurrency Theory | Fach-/Modulprüfung | 6 | 581976 | ||
| Foundations of the UML | Fach-/Modulprüfung | 6 | 585104 | ||
| Graph Decompositions and Algorithmic Applications | Fach-/Modulprüfung | 6 | 585609 | ||
| Übung | 588005 | Di 12:30-14:00 AH II (2350|111) (×12) | |||
| Vorlesung | 588004 | Mo 14:30-16:00 5056 (2356|056) (×12) Fr 14:30-16:00 AH III (2350|314.1) (×13) | |||
| Infinite Computations and Games | Fach-/Modulprüfung | 6 | 582432 | ||
| Übung | 578158 | Do 12:30-14:00 5054 (2356|054) (×14) | |||
| Vorlesung | 578375 | Mi 10:30-12:00 5056 (2356|056) (×15) | |||
| Logic and Games | Fach-/Modulprüfung | 8 | 584059 | ||
| Fach-/Modulprüfung | 8 | 584058 | |||
| Mathematical Logic II | Fach-/Modulprüfung | 8 | 582180 | ||
| Model Checking | Fach-/Modulprüfung | 6 | 585086 | Fr 12.02.2027 16:30-18:30 PPS H1 (2315|101) Roter Hörsaal AM (Ro) (1420|002) Mi 10.03.2027 12:00-14:00 TEMP1 (1515|001) | |
| Übung | 577398 | Fr 12:30-14:00 AH I (2350|028) (×15) | |||
| Vorlesung | 578334 | Mi 14:30-16:00 AH I (2350|028) (×15) Do 16:30-18:00 AH I (2350|028) (×15) | |||
| Modeling and Verification of Probabilistic Systems | Fach-/Modulprüfung | 6 | 582969 | ||
| Module Complexity Theory | Fach-/Modulprüfung | 6 | 582407 | ||
| Optimization and Uncertainty | Fach-/Modulprüfung | 6 | 584844 | ||
| Parameterized Algorithms | Fach-/Modulprüfung | 8 | 585087 | ||
| Übung | 600240 | Mi 14:30-16:00 5055 (2356|055) (×15) | |||
| Vorlesung | 600239 | Di 12:30-14:00 5056 (2356|056) (×14) Do 12:30-14:00 5056 (2356|056) (×15) | |||
| Post-quantum cryptography | Fach-/Modulprüfung | 6 | 584032 | ||
| Probabilistic Programming | Fach-/Modulprüfung | 6 | 582304 | Fr 19.02.2027 09:00-11:00 004 (1830|004) BS II (2131|102) Mo 15.03.2027 12:00-14:00 BS II (2131|102) | |
| Übung | 577153 | Di 10:30-12:00 AH I (2350|028) (×14) | |||
| Vorlesung | 577327 | Mo 16:30-18:00 AH II (2350|111) (×15) Do 12:30-14:00 AH III (2350|314.1) (×15) | |||
| Satisfiability Checking | Fach-/Modulprüfung | 6 | 582368 | ||
| Vorlesung/Übung | 578303 | Mo 10:30-12:00 AH V (2356|050) (×13) Mi 14:30-16:00 AH V (2356|050) (×14) Fr 14:30-15:15 5056 (2356|056) (×14) | |||
| Semantics and Verification of Software | Fach-/Modulprüfung | 6 | 585052 | Di 23.02.2027 09:00-11:00 H06 (1385|004) Mo 22.03.2027 09:00-11:00 AH VI (2356|051) | |
| Übung | 587536 | Mi 10:30-12:00 AH I (2350|028) (×1) Do 14:30-16:00 AH II (2350|111) (×1) Fr 14:30-16:00 AH I (2350|028) (×14) | |||
| Vorlesung | 587537 | Mi 10:30-12:00 AH I (2350|028) (×14) Do 14:30-16:00 AH II (2350|111) (×14) | |||
| Stochastic Games | Fach-/Modulprüfung | 6 | 581578 | ||
| Theory of Distributed Systems | Fach-/Modulprüfung | 6 | 583876 |